verification by experiment